Improved bounds for the randomized decision tree complexity
نویسندگان
چکیده
We consider the randomized decision tree complexity of the recursive 3-majority function. We prove a lower bound of (1/2 − δ) · 2.57143 for the two-sided-error randomized decision tree complexity of evaluating height h formulae with error δ ∈ [0, 1/2). This improves the lower bound of (1 − 2δ)(7/3) given by Jayram, Kumar, and Sivakumar (STOC’03), and the one of (1 − 2δ) · 2.55 given by Leonardos (ICALP’13). Second, we improve the upper bound by giving a new zero-error randomized decision tree algorithm that has complexity at most (1.007) · 2.64944. The previous best known algorithm achieved complexity (1.004) · 2.65622. The new lower bound follows from a better analysis of the base case of the recursion of Jayram et al. The new algorithm uses a novel “interleaving” of two recursive algorithms.
منابع مشابه
Improved Lower Bounds on the Randomized Complexity of Graph Properties
We prove a lower bound of (n4/3 log1/3 n) on the randomized decision tree complexity of any nontrivial monotone n-vertex graph property, and of any nontrivial monotone bipartite graph property with bipartitions of size n. This improves the previous best bound of(n4/3) due to Hajnal [Haj91]. Our proof works by improving a graph packing lemma used in earlier work, and this improvement in turn s...
متن کاملSeparating Decision Tree Complexity from Subcube Partition Complexity
The subcube partition model of computation is at least as powerful as decision trees but no separation between these models was known. We show that there exists a function whose deterministic subcube partition complexity is asymptotically smaller than its randomized decision tree complexity, resolving an open problem of Friedgut, Kahn, and Wigderson (2002). Our lower bound is based on the infor...
متن کاملDecision-tree Complexity
Two separate results related to decision-tree complexity are presented. The first uses a topological approach to generalize some theorems about the evasiveness of monotone boolean functions to other classes of functions. The second bounds the gap between the deterministic decision-tree complexity of functions on the permutation group Sn and their zero-error randomized decision-tree complexity.
متن کاملLower Bounds Using Kolmogorov Complexity
In this paper, we survey a few recent applications of Kolmogorov complexity to lower bounds in several models of computation. We consider KI complexity of Boolean functions, which gives the complexity of finding a bit where inputs differ, for pairs of inputs that map to different function values. This measure and variants thereof were shown to imply lower bounds for quantum and randomized decis...
متن کاملImproved Bounds for 3SUM, k-SUM, and Linear Degeneracy
Given a set of n real numbers, the 3SUM problem is to decide whether there are three of them that sum to zero. Until a recent breakthrough by Grønlund and Pettie [FOCS’14], a simple Θ(n2)-time deterministic algorithm for this problem was conjectured to be optimal. Over the years many algorithmic problems have been shown to be reducible from the 3SUM problem or its variants, including the more g...
متن کامل